141. Formal modeling and analysis of timed system
Author: / Franck Cassez, Claude Jard (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer simulation--Congresses,Temporal automata--Congresses,Formal methods (Computer science)--Congresses
142. Formal modeling and analysis of timed systems :
Author: Joël Ouaknine, Frits W. Vaandrager (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2009eb
143. Formal modeling and analysis of timed systems :
Author: Kim G. Larsen, Peter Niebert (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation -- Congresses.,Formal methods (Computer science) -- Congresses.,Temporal automata -- Congresses.
144. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
145. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
146. Formal modeling and analysis of timed systems
Author: Marcin Jurdziński, Dejan Ničković (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Formal methods (Computer science), Congresses,System analysis, Congresses,Temporal automata, Congresses
Classification :
QA76
.
9
.
C65
F67
2012eb
147. Formal modeling and analysis of timed systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
148. Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers
Author: Kim G. Larsen, Peter Niebert )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Machine theory,Congresses ، Robots
Classification :
QA
76
.
L28
Vol
.
2791
149. Formal techniques, modelling and analysis of timed and fault-tolerant systems : Joint International Conferences on Formal Modelling and Analysis of Timed Systmes, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings
Author: Yassine Lakhnech, Sergio Yovine )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer simulation,Congresses ، Temporal automata,Congresses ، Formal methods )Computer science(,Congresses ، Robots,Congresses ، Real-time data processing,Congresses ، Fault-tolerant computing
Classification :
QA
76
.
L28
Vol
.
3253
150. Fraktale Wolken, virtuelle Flammen :
Author: von Georgios Sakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer simulation.
Classification :
TA357
.
5
.
T87
V664
1993
151. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
Classification :
QA
76
.
6
.
F853
1993
152. Fundamentals of Scientific Computing
Author: / Bertil Gustafsson
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer simulation,Computer science -- Mathematic,Science -- Methodology,Science -- Data processing,شبیهسازی کامپیوتری,علوم کامپیوتر -- ریاضیات,علوم -- روش شناسی,علوم -- دادهپردازی
Classification :
QA76
,.
9
.
C65
,
G8
2011
153. Gas turbines modeling, simulation, and control
Author: / Hamid Asgari, XiaoQi Chen
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Gas-turbines--Computer simulation,Neural networks (Computer science)
Classification :
TJ778
.
A83
2016
154. Geometric Modeling for Scientific Visualization
Author: edited by Guido Brunnett, Bernd Hamann, Heinrich Müller, Lars Linsen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Mathematics.,Visualization.
155. Geometric Modelling
Author: edited by Guido Brunnett, Hanspeter Bieri, Gerald Farin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer simulation.
Classification :
QA565
.
E358
2001
156. Geometry of Curves and Surfaces with MAPLE
Author: by Vladimir Rovenski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer simulation.,Geometry.,Mathematics.
157. Graphics Modeling and Visualization in Science and Technology
Author: edited by Martin Göbel, José C. Teixeira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer simulation.
Classification :
T385
.
E358
1993
158. Graphisch-Interaktive Strömungsvisualisierung
Author: von Thomas Frühauf.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer simulation.
Classification :
QA76
.
9
.
C65
V668
1997
159. Graphs and algorithms in communication networks: <studies in broadband, optical, wireless and ad hoc networks>
Author: / Arie M. C. A. Koster, Xavier Munoz, editors
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Computational complexity,Computer science,Computer simulation,Computer software,Telecommunication
Classification :
511
.
352
G766
2010
160. Guide to Scientific Computing in C++ /
Author: by Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6-76
.
66
